1. Identificação | |
Tipo de Referência | Tese ou Dissertação (Thesis) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3LM86BB |
Repositório | sid.inpe.br/mtc-m21b/2016/05.13.15.51 |
Última Atualização | 2016:09.14.12.10.10 (UTC) tereza@sid.inpe.br |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2016/05.13.15.51.50 |
Última Atualização dos Metadados | 2018:06.04.02.40.47 (UTC) administrator |
Chave Secundária | INPE-17720-TDI/2473 |
Chave de Citação | Graça:2016:PrPrVe |
Título | Proposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software embarcável |
Título Alternativo | Proposal for verification process by testing based on comparison of the ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software. |
Curso | CSE-ETES-SPG-INPE-MCTI-GOV-BR |
Ano | 2016 |
Data | 2016-05-17 |
Data de Acesso | 11 maio 2024 |
Tipo da Tese | Dissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais) |
Tipo Secundário | TDI |
Número de Páginas | 179 |
Número de Arquivos | 1 |
Tamanho | 2782 KiB |
|
2. Contextualização | |
Autor | Graça, Danilo Gaspar |
Banca | Ambrosio, Ana Maria (presidente) Souza, Marcelo Lopes de Oliveira e (orientador) Trivelato, Gilberto da Cunha (orientador) Rocha, Guilherme Conceição |
Endereço de e-Mail | danilograca@gmail.com |
Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade | São José dos Campos |
Histórico (UTC) | 2016-05-13 15:52:26 :: danilograca@gmail.com -> yolanda :: 2016-05-19 16:49:17 :: yolanda -> administrator :: 2016-06-04 05:08:33 :: administrator -> danilograca@gmail.com :: 2016-07-19 23:43:23 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br :: 2016-07-21 17:47:42 :: yolanda.souza@mcti.gov.br -> administrator :: 2016-07-28 18:01:53 :: administrator -> yolanda :: 2016-07-29 12:13:32 :: yolanda -> danilograca@gmail.com :: 2016-07-29 13:27:52 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br :: 2016-08-01 14:51:36 :: yolanda.souza@mcti.gov.br -> danilograca@gmail.com :: 2016-08-07 22:06:21 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br :: 2016-09-13 16:23:59 :: yolanda.souza@mcti.gov.br -> marcelo.pazos@inpe.br :: 2016-09-13 18:28:50 :: marcelo.pazos@inpe.br :: -> 2016 2016-09-13 18:55:16 :: marcelo.pazos@inpe.br -> administrator :: 2016 2016-09-14 11:51:02 :: administrator -> yolanda :: 2016 2016-09-14 12:09:15 :: yolanda -> yolanda.souza@mcti.gov.br :: 2016 2016-09-14 12:12:12 :: yolanda.souza@mcti.gov.br -> tereza@sid.inpe.br :: 2016 2016-09-14 12:12:31 :: tereza@sid.inpe.br -> administrator :: 2016 2018-06-04 02:40:47 :: administrator -> :: 2016 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | testes de software verificação processos de desenvolvimento desenvolvimento de software sistemas aeroespaciais software testing verification development process software development aerospace systems |
Resumo | Este trabalho apresenta uma proposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software espacial embarcável. Isto inclui: a revisão bibliográfica sobre conceitos de Engenharia de Software e sobre as normas abordadas das indústrias espacial e aeronáutica; a comparação e análise da estrutura de processos das referidas normas para desenvolvimento de software; o estudo de ferramentas semiautomáticas de testes; a proposta de métodos e procedimentos básicos de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C com suas principais atividades para ser aplicado no desenvolvimento de softwares espaciais embarcados; e a validação do processo proposto através de sua aplicação a um estudo de caso. A aplicação do processo proposto mostrou que i) a inversão da sequência tradicional de testes apresenta significativos ganhos em termos de esforço; ii) ela só é possível com a utilização de uma ferramenta de testes que tem impacto direto no processo; iii) a maior contribuição da ferramenta é compartilhar os resultados da aplicação de testes em um nível com os demais níveis (HW/SW, SW/SW e baixo nível); iv) os métodos e procedimentos utilizados reduzem significativamente o esforço aplicado na realização das atividades de teste. ABSTRACT: This work presents a proposal for verification process by testing based on the comparison of ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software. This includes: a bibliographic review on software engineering concepts and the space and aeronautics industries standards used; a comparison and analysis of the structure of processes of the mentioned standards for software development; a study of semiautomatic tools for tests; a proposal of basic methods and procedures of a verification process by testing based on comparison of ECSS-E-ST-40C and RTCA-DO-178C standards with its main activities to be applied in the development of space embedded; the validation of the proposed process through its application to case study. The application of the proposed method showed i) reversing the traditional test sequence shows significant gains in terms of effort; ii) it is possible only with the use of a test tool has a direct impact on process; iii) the greatest tool contribution is to share the results of the application tests in one level with other levels (HW/SW, SW/SW and Low-Level); iv) the methods and procedures used significantly reduce the effort applied in carrying out the testing activities. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Proposta de um... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | originais/@4primeirasPaginas-10.pdf | 14/09/2016 07:56 | 188.1 KiB | originais/Avaliação final pag 2 aluno Danilo Gaspar Graça.pdf | 13/09/2016 12:00 | 141.5 KiB | originais/Dissertação de Mestrado - Danilo Gaspar Graça-1.docx | 08/08/2016 10:04 | 2.1 MiB | originais/Dissertação de Mestrado - Danilo Gaspar Graça.pdf | 24/08/2016 14:53 | 2.5 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3LM86BB |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3LM86BB |
Idioma | pt |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | administrator danilograca@gmail.com marcelo.pazos@inpe.br tereza@sid.inpe.br yolanda.souza@mcti.gov.br |
Grupo de Leitores | administrator danilograca@gmail.com marcelo.pazos@inpe.br yolanda yolanda.souza@mcti.gov.br |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 3 |
Divulgação | BNDEPOSITOLEGAL |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|